$\forall$$i$:Id, $k$:Knd. has{-}src($i$;$k$) $\in$ $\mathbb{B}$